منابع مشابه
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems
We study (un)soundness of transformations of conditional term rewriting systems (CTRSs) into unconditional term rewriting systems (TRSs). The focus here is on analyzing (un)soundness of so-called unravelings, the most basic and natural class of such transformations. We extend our previous analysis from normal 1-CTRSs to the more general class of deterministic CTRSs (DCTRSs) where extra variable...
متن کاملForecasting stock market volatility conditional on macroeconomic conditions
This paper presents a GARCH type volatility model with a time-varying unconditional volatility which is a function of macroeconomic information. It is an extension of the SPLINE GARCH model proposed by Engle and Rangel (2005). The advantage of the model proposed in this paper is that the macroeconomic information available (and/or forecasts) is used in the parameter estimation process. Based on...
متن کاملRewriting the Conditions in Conditional Rewriting
Category theory has been used to provide a semantics for term rewriting systems at an intermediate level of abstraction between the actual syntax and the relational model. Recently we have developed a semantics for TRSs using monads which generalises the equivalnece between algebraic theories and nitary monads on the category Sets. This semantics underpins the recent categorical proofs of state...
متن کاملMood disturbance during cycling performance at extreme conditions.
The purpose of the study was to investigate the effects of extreme environments on mood state changes in hypoxic conditions and cold conditions in comparison to baseline conditions. The research design involved participants completing a two-hour stationary cycle ergometer ride at a simulated altitude of 2,500 metres, O°C, and normal laboratory conditions at a pace equivalent of lactate threshol...
متن کاملFunctional health status, chronic medical conditions and disorders of mood.
BACKGROUND Understanding of the impact of depressive and anxiety disorders on functional health status in the context of chronic medical illness has been gained almost exclusively from the study of patient populations. AIMS To compare the impact of major depressive and generalised anxiety disorder with that of chronic medical conditions on functional health in a UK resident population. METH...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Linguistica Hungarica
سال: 2006
ISSN: 1216-8076,1588-2624
DOI: 10.1556/aling.53.2006.3.1